$\forall$$k$:Knd. islocal($k$) $\vee$ isrcv($k$)